programming logic proof
[计] 程序设计逻辑证明
热门查询
- resister n. 抵抗者；反抗者；电阻器
- midair n. 半空中
- mycobacterial a. mycobacterium（分支杆菌 ）的变形
- Beijing n. 北京（等于Peking或Pekin）
- Parsi n. 印度拜火教徒；帕西人（等于Parsee）
- beading n. 形成珠状；[机] 卷边；起泡，起泡剂 v. 用小珠装饰（bead的ing形式）
- netted adj. 网状的；用网捕获的 v. 赚，得到（net的过去分词）
- self-sufficient adj. 自给自足的；极为自负的；过于自信的
- dramaturgy n. 演出法；戏剧作法
- Blaine [人名] [英格兰人姓氏] 布莱恩 Blain的变体; [男子名] 布莱恩来源于凯尔特语，含义是“瘦的”(thin or lean); [地名] [美国] 布莱恩
- rapidity n. 迅速，急速；速度；险峻
- stigmatizing vt. 诬蔑；玷污；给…打上烙印
- sentential adj. 句子的；判决的
- Ladd abbr. low-altitude drogue delivery 低空浮标引渡
- quadrennial n. 第四周年纪念 adj. 每四年一次的；连续四年的
- unaudited adj. 未审计的，未查账的，未稽核的
- stoplight n. 红色尾灯；停止行进号志
- FBI abbr. （美国）联邦调查局（Federal Bureau of Investigation）；英国工业联合会（Federation of British Industries）
- arduously adv. 严酷地；费力地
- continued v. 继续；逗留；维持原状（continue的过去分词） adj. 继续的；持久的
